若前提A能够推理出B，那么一定是（）。A:永真式 B:矛盾式 C:可满足式 D:不确定答案: 永真式